body {
  background: #fafafa;
  padding-bottom: 600px;
  padding-left: 160px;
  font-size: 14px;
}
h1.big-title {
  background: #1B2527;
  color: #49BC68;
  height: 60px;
  line-height: 2em;
  margin-left: -20px;
  text-indent: 20px;
}
a {
  color: #069;
}
h2 {
  font-size: 18px;
  background: #1B2527;
  color: #dcdcdc;
  text-indent: 20px;
  padding: 5px 0px;
  border-bottom: solid 1px #dcdcdc;
  margin: 20px 0px 10px 0px;
}
h2 a {
  color: #77C764;
  text-decoration: none;
  font-size: 12px;
}
p {
  font-size: 14px;
  color: #444;
  margin-top: 6px;
  border-left: solid 2px #DDDDDD;
  padding-left: 5px;
}
div#menu {
  padding-top: 30px;
  width: 150px;
  background: #1B2527;
  position: fixed;
  top: 0px;
  left: 0px;
  bottom: 0px;
  overflow-y: auto;
  z-index: 2000;
}
div#menu a {
  font-size: 14px;
  text-decoration: none;
  padding: 8px 8px;
  display: block;
  color: #aaaaaa;
}
div#menu a:hover {
  color: #77C764;
}
.syntaxhighlighter {
  display: none;
}
